val absurd : void -> 'a
